From 72850576ff2893d5dddc6c37be5ec21df18a2f9b Mon Sep 17 00:00:00 2001 From: "djm@kirby.fc.hp.com" Date: Thu, 21 Apr 2005 00:04:59 +0000 Subject: [PATCH] bitkeeper revision 1.1327.1.5 (4266ee2bW65qcNXtpGjcvtUxXqKVUQ) vcpu.c: more cases for setting pending --- xen/arch/ia64/vcpu.c | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/xen/arch/ia64/vcpu.c b/xen/arch/ia64/vcpu.c index 8ce8149dd9..d1769a20c3 100644 --- a/xen/arch/ia64/vcpu.c +++ b/xen/arch/ia64/vcpu.c @@ -750,7 +750,8 @@ IA64FAULT vcpu_set_tpr(VCPU *vcpu, UINT64 val) { if (val & 0xff00) return IA64_RSVDREG_FAULT; PSCB(vcpu,tpr) = val; - //PSCB(vcpu,pending_interruption) = 1; + if (vcpu_check_pending_interrupts(vcpu) != SPURIOUS_VECTOR) + PSCB(vcpu,pending_interruption) = 1; return (IA64_NO_FAULT); } @@ -776,6 +777,8 @@ IA64FAULT vcpu_set_eoi(VCPU *vcpu, UINT64 val) // with interrupts disabled printf("Trying to EOI interrupt with interrupts enabled\r\n"); } + if (vcpu_check_pending_interrupts(vcpu) != SPURIOUS_VECTOR) + PSCB(vcpu,pending_interruption) = 1; //printf("YYYYY vcpu_set_eoi: Successful\n"); return (IA64_NO_FAULT); } -- 2.30.2